axiomatic specification - İspanyolca İngilizce Sözlük